David Streader: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Generic Tools via General Refinement

Steve Reeves, David Streader

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 315 KB

english, 2008

2

Guarded Operations, Refinement and Simulation

Steve Reeves, David Streader

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 308 KB

english, 2009

3

General Refinement, Part One: Interfaces, Determinism and Special Refinement

Steve Reeves, David Streader

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 514 KB

english, 2008

4

General Refinement, Part Two: Flexible Refinement

Steve Reeves, David Streader

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 395 KB

english, 2008

5

Contexts, refinement and determinism

Steve Reeves, David Streader

Journal:

Science of Computer Programming

Year:

2011

Language:

english

File:

PDF, 426 KB

english, 2011

6

Data refinement and singleton failures refinement are not equivalent

Steve Reeves, David Streader

Journal:

Formal Aspects of Computing

Year:

2008

Language:

english

File:

PDF, 195 KB

english, 2008

7

Stepwise Refinement of Processes

Steve Reeves, David Streader

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 370 KB

english, 2006

8

[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - Feature Refinement

Reeves, Steve, Streader, David

Year:

2007

Language:

english

File:

PDF, 360 KB

english, 2007

9

[IEEE 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Auckland, New Zealand (2007.07.11-2007.07.14)] 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Modular Synthesis of Discrete Controllers

Malik, Petra, Malik, Robi, Streader, David, Reeves, Steve

Year:

2007

Language:

english

File:

PDF, 178 KB

english, 2007

10

CONFLICTS AND FAIR TESTING

MALIK, ROBI, STREADER, DAVID, REEVES, STEVE

Journal:

International Journal of Foundations of Computer Science

Year:

2006

Language:

english

File:

PDF, 1008 KB

english, 2006

11

[IEEE 2015 International Telecommunication Networks and Applications Conference (ITNAC) - Sydney, Australia (2015.11.18-2015.11.20)] 2015 International Telecommunication Networks and Applications Conference (ITNAC) - Global and local knowledge in SDN

Stevens, Matt, Ng, Bryan, Streader, David, Welch, Ian

Year:

2015

Language:

english

File:

PDF, 367 KB

english, 2015

12

[IEEE 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) - Dubai, United Arab Emirates (2016.11.6-2016.11.8)] 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) - Towards SDN Network Proofs — Taming a Complex System

Stevens, Matt, Ng, Bryan, Streader, David, Welch, Ian

Year:

2016

Language:

english

File:

PDF, 833 KB

english, 2016

13

Evolving Web-Based Test Automation into Agile Business Specifications

Mugridge, Rick, Utting, Mark, Streader, David

Journal:

Future Internet

Year:

2011

Language:

english

File:

PDF, 345 KB

english, 2011